IndexExercisesServices

Service meta.index

Description
Index of the domain reasoner

Output

version 1.2.1.1 (revision 7140, Tue, 04 Nov 2014)